A Little Synopsis on Streams, Stream Processing Functions, and State-Based Stream Processing
نویسندگان
چکیده
Specification of interactive distributed systems has been a challenge for decades. We present an overview of the specification techniques for these systems based on dataflow networks and stream processing. It covers models of streams and specification of stream processing systems that are related to and based on the development method Focus invented by Manfred Broy and his group. We introduce a basic set of manipulator operations for streams, stream bundles, stream processing functions, and give a summary of related statebased specification techniques. Furthermore we sketch an overview of implementations for the Focus framework. These range from formalizations using interactive proof assistants and model checkers to the modeling IDE AutoFocus.
منابع مشابه
A Survey of Synopsis Construction in Data Streams
The large volume of data streams poses unique space and time constraints on the computation process. Many query processing, database operations, and mining algorithms require efficient execution which can be difficult to achieve with a fast data stream. In many cases, it may be acceptable to generate approximate solutions for such problems. In recent years a number of synopsis structures have b...
متن کاملEfficient Similarity Search Techniques with a Real-Time Approximate Analysis in Streaming Database
In many applications such as sensor networks, similarity search is more practical than exact match in stream processing, where both the queries and the data items are always change over time. The volumes of multi-streams could be very large, since new items are continuously appended. The main idea is to build a small size of synopsis instead of keeping original streams by using our proposed tec...
متن کاملErosion Hazard Index Methodology (EHIM) for Streams Erodibility Assessment (Ardabil-Province)
An erosion hazard index methodology (EHIM) was developed for assessing stream erosion. The index of stream erosion is designed as a management tool. Assessing stream erosion involves consideration of a range of aspects of streams and a value judgment about a desirable state. The assessment of the erosion indicators of streams was based on a state-wide assessment of physical stream condition. A ...
متن کاملAdaptive Approximation-based Streaming Skylines for Similarity Search Query
Actually, large database is not simply considered as a stream database because of streaming data is not only containing huge data volumes, but distributed, continuous, rapid, time varying. Therefore, the general techniques may not suit for streams exactly. Accuracy responses required of approximated answers is more important in stream processing for the similarity search. Therefore, we perform ...
متن کاملSynopsis Data Structures for Representing, Querying, and Mining Data Streams
Data-stream query processing and mining is an emerging challenge for the database research community. This issue has recently gained the attention from the academic as well as the industrial world. Data streams are continuously flooding data produced by untraditional information sources. They are generated by a growing number of data entities, among all we recall performance measurements in net...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Int. J. Software and Informatics
دوره 5 شماره
صفحات -
تاریخ انتشار 2011